nullset(p;S)
== q:{q:| 0 < q} . C:p-open(p). ((s:(Outcome). (S(s))  s  C) & measure(C)  q) 

latex

---

clarification:

nullset(p;S)
== q:{q:| 0 < q} .
== C:p-open(p)
== ((s:(p-outcome(p)). (S(s))  p-open-member(p;C;s)) & p-measure-le(p;C;q)) 

latex

Definitions	{x:A| B(x)} , , r < s, #$n, x:A. B(x), p-open(p), P & Q, x:A. B(x), x:AB(x), , Outcome, P  Q, f(a), s  C, measure(C)  q
FDL editor aliases	nullset